0 64 5 - 19 90
نویسنده
چکیده
Three language constructs appropriate for the design and pro gramming of distributed systems are described. The team abstracts repeated interprocess activities and isolates processes to the context where they are needed. The interaction provides multiparty synchronization and communi cation. The superimposition defines modules that augment existing teams. Partial correctness proof rules and criteria for correctness-preserving transformations are given. These allow replacing one construct by others during design in order to reduce synchronization and extraneous communi cation.
منابع مشابه
A Bibliography of Publications in Designs, Codes, and Cryptography
(28, 12, 11) [117]. (31, 10, 3) [34]. (36, 16, 12) [117]. (49, 9, 6) [142]. (64, 2, 12) [236]. (Ck ⊕G,k, 1) [251]. (G, k, 1) [251]. (m,n) [151]. (m− 1)/pm [167]. (p, p, p, p) [139]. (q, 6, 1) [342]. (v, {2, 4}, 1) [245]. (v, k, λ) [109]. −1 [26]. 0 [102, 205]. {0, 1, 2} [101]. 1 [205]. 15 [102]. 2 [14, 36, 55, 61, 68, 86, 117, 142, 143, 223, 265, 266, 271, 296, 324]. 25 [302]. 27 [93, 120]. 28 ...
متن کاملTable DP-1. Profile of General Demographic Characteristics: 2000 Geographic area: Jetmore city, Kansas
Under 5 years . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 6.2 5 to 9 years . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 7.1 10 to 14 years . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 8.1 15 to 19 years . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76 8.4 20 to 24 years . . . . . . . . . . . . . . . . . . . . . . ....
متن کاملTable DP-1. Profile of General Demographic Characteristics: 2000 Geographic area: Chetopa city, Kansas
Under 5 years . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69 5.4 5 to 9 years . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90 7.0 10 to 14 years . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78 6.1 15 to 19 years . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84 6.6 20 to 24 years . . . . . . . . . . . . . . . . . . . . . . ....
متن کاملNumAgents Average Distance Clustering Coefficient‐Watts‐Strogatz Component Count‐Strong Component Count‐Weak Congruence‐Communication Congruence‐Knowledge Congruence‐Resource Connectedness Diameter Diversity‐Knowledge Diversity‐Resource Edge Count‐Lateral Edge Count‐Pooled Edge Count‐Reciprocal Edge Count‐Sequential Edge Count‐Skip Efficiency Hierarchy Interdependence Load‐Knowledge Load‐Resource Negotiation‐Knowledge
value value value value value value value value value value value value value value value value value value value value value value value a2c2_team_d_no_scuds 6 1.0667 0.4167 4 1 ‐ ‐ 0.9188 1 6 ‐ 0.9833 8 0.9286 0.2857 0 0.8571 0.3 0.75 0.0867 ‐ 10 ‐ a2c2_team_d_scuds 6 1.1 0.925 1 1 ‐ ‐ 0.9189 1 2 ‐ 0.9859 18 1 0.8889 0 1 0 0 0.07 ‐ 11.8333 ‐ BFVG10 47 2.207 0.2268 35 16 ‐ ‐ ‐ 0.4588 47 ‐ ‐ 23...
متن کاملTable DP-1. Profile of General Demographic Characteristics: 2000 Geographic area: Loretto city, Tennessee
Under 5 years . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81 4.9 5 to 9 years . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116 7.0 10 to 14 years . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118 7.1 15 to 19 years . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105 6.3 20 to 24 years . . . . . . . . . . . . . . . . . . . . . ...
متن کامل